mean value theorem proof